Axiomatizing Operational Equivalence in the Presence of Side Effects
نویسندگان
چکیده
منابع مشابه
Equivalence in Functional Languages with Effects
Traditionally the view has been that direct expression of control and store mechanisms and clear mathematical semantics are incompatible requirements. This paper shows that adding objects with memory to the call-by-value lambda calculus results in a language with a rich equational theory, satisfying many of the usual laws. Combined with other recent work this provides evidence that expressive, ...
متن کاملEquivalence in Functional Languages with Eeects
Traditionally the view has been that direct expression of control and store mechanisms and clear mathematical semantics are incompatible requirements. This paper shows that adding objects with memory to the call-by-value lambda calculus results in a language with a rich equational theory, satisfying many of the usual laws. Combined with other recent work this provides evidence that expressive, ...
متن کاملRecovery of oil products in Iran by substitution and production effects: A two-stage approach in the form of a general equivalence model
In the energy economics literature, one of the most important approaches to managing energy demand is to improve energy efficiency, which is associated with a concept called a rebound effect. The rebound effect causes the energy saving (due to improved efficiency) to be less than expected. Considering the importance of using oil products in the Iranian economy, the present paper tries to track ...
متن کاملPhotocatalytic degradation of ciprofloxacin in the presence of synthesized ZnO nanocatalyst: The effect of operational parameters
This study was aimed at investigating the photocatalytic degradation of ciprofloxacin (CIP) antibiotic in aqueous solution using immobilized ZnO nanoparticles on glass plate. X-ray diffraction, atomic force microscopy, and scanning electron microscopy were applied to characterize the nanoparticles. To do so, the ZnO nanoparticles were synthesized through the chemical precipitation method and we...
متن کاملPhotocatalytic degradation of ciprofloxacin in the presence of synthesized ZnO nanocatalyst: The effect of operational parameters
This study was aimed at investigating the photocatalytic degradation of ciprofloxacin (CIP) antibiotic in aqueous solution using immobilized ZnO nanoparticles on glass plate. X-ray diffraction, atomic force microscopy, and scanning electron microscopy were applied to characterize the nanoparticles. To do so, the ZnO nanoparticles were synthesized through the chemical precipitation method and we...
متن کامل